подобъект объекта

См. также в других словарях:

• ПОДОБЪЕКТ — объекта категории понятие, аналогичное понятию подструктуры математич. структуры. Пусть произвольная категория и А фиксированный объект из . В классе всех мономорфизмов из с концом в Авводится отношение предпорядка (отношение делимости справа):… …   Математическая энциклопедия

• ОБРАЗ МОРФИЗМА — категории понятие, аналогичное понятию образа отображения одного множества в другое. Однако в теории категорий существует несколько подходов к определению этого понятия. Наиболее простой подход тесно связан с понятием би категории. Пусть в… …   Математическая энциклопедия

• РЕТРАКТ — о б ъ е к т а к а т е г о р и и понятие, обобщающее соответствующие понятия алгебры и топологии. Объект Rкатегории наз. р е т р а к т о м объекта А, если существуют такие морфизмы что . Морфизм m при этом оказывается мономорфизмом и, более того,… …   Математическая энциклопедия

• ЯДРО — морфизма категории понятие, частными случаями к рого являются понятия ядра линейного преобразования векторных пространств, ядра гомоморфизма групп, колец и т. п. Пусть категория с нулевыми морфизмами. Морфизм наз. ядром морфизма если и всякий… …   Математическая энциклопедия

• ИДЕАЛ — специального рода подобъект в иек рой алгебраич. структуре. Понятие И. возникло первоначально в теории колец. Название И. ведет свое происхождение от идеальных чисел. Для алгебры, кольца или полугруппы Аидеал I есть подалгебра, подкольцо или… …   Математическая энциклопедия

• АБЕЛЕВА КАТЕГОРИЯ — категория, обладающая рядом характерных свойств категории всех абелевых групп. А. к. были введены как основа абстрактного построения гомологич. алгебры (см. [4]). Категория наз. абелевой (см. [2]), если она удовлетворяет следующим аксиомам: А0.… …   Математическая энциклопедия

• ГЕОМЕТРИЧЕСКИХ ОБЪЕКТОВ ТЕОРИЯ — раздел дифференциальной геометрии, основанный на теории представления групп. Применение метода внешних дифференциальных форм позволяет ввести дифференциальные критерии Г. о. т., превращающие ее в эффективный аппарат дифференцпально геометрич.… …   Математическая энциклопедия

• C++11 — C++11[1][2] или ISO/IEC 14882:2011[3] (в процессе работы над стандартом носил условное наименование C++0x[4][5])  новая версия стандарта языка C++, вместо ранее действовавшего ISO/IEC 14882:2003. Новый стандарт включает дополнения в ядре… …   Википедия

• Rundown protection — Объект, реализованный в ядре ОС Windows, начиная с Windows XP. Содержание 1 Краткое описание 2 Операции 3 …   Википедия

• ИНЪЕКТИВНЫЙ ОБЪЕКТ — такой объект I абелевой категории С, что для каждого мономорфизма а : отображение является сюръективным. Всякий инъективный подобъект I объекта А. выделяется прямым слагаемым. Произведение И. о. всегда И. о. В случае, когда каждый объект в… …   Математическая энциклопедия

• Ромбовидное наследование — У этого термина существуют и другие значения, см. Наследование. Диаграмма наследования классов в виде ромба. Ромбовидное наследование ( …   Википедия